<HTML><HEAD><TITLE>lub(?SetVariable, -Lub)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(cardinal)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>lub(?SetVariable, -Lub)</H1>
Obtaining a set's lub
<DL>
<DT><EM>SetVariable</EM></DT>
<DD>A set variable.
</DD>
<DT><EM>Lub</EM></DT>
<DD>A set.
</DD>
</DL>
<H2>Description</H2>
Lub is unified with the (least) upper bound of SetVariable.
<H3>Fail Conditions</H3>
Fails if Lub can not be unified with the current lub of SetVariable.
<H3>Resatisfiable</H3>
No.
<H2>Examples</H2>
<PRE>
?- S `::[c]+[a,b], lub(S,L).
L = [a,b,c]
</PRE>
<H2>See Also</H2>
<A HREF="../../lib_public/cardinal/lub-4.html">lub / 4</A>, <A HREF="../../lib_public/cardinal/glb-2.html">glb / 2</A>, <A HREF="../../lib_public/cardinal/poss-2.html">poss / 2</A>, <A HREF="../../lib_public/cardinal/glb_poss-3.html">glb_poss / 3</A>, <A HREF="../../lib_public/cardinal/domain-2.html">domain / 2</A>, <A HREF="../../lib_public/cardinal/domain-3.html">domain / 3</A>
</BODY></HTML>
